تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۵۲ ثانیه یافت شد.

1. Runtime verificatio

پدیدآورنده: / Saddek Bensalem, Doron A. Peled (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses

رده :

V47

R88

2009

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است